基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

着眼装备信息化的长远发展积极科学的建设好装备基础数据库

信息化战争是信息化武器装备发展到成熟时期、新军事变革发展到高级阶段、社会变革跨入信息时代的最新战争模式。信息化战争离不开信息化的装备，装备信息化的建设也离不开装备管理的信息化，装备管理信息化的水平对装备信息化本身的发展会起到很重要的促进作用，装备基础数据库则是装备管理信息化的基础。本文将重点分析装备基础数据库建设的现状，阐述科学建设装备基础数据库的好处，并提出对建设通用装备基础数据库的几点思考。     

信息时代作战体系的概念模型及其描述

提出了信息化战场作战体系的概念与定义，给出了作战体系的描述，把信息化战场作战体系的组成划分为三类基本元素和六种关系，这些关系包括任务序列关系、任务分配关系、作战单元间的协作关系、作战单元间的指挥控制关系、任务信息流和体系的信息网络拓扑，并给出了这些关系的描述途径与方法。信息化战场作战体系的描述为作战体系自同步构建与重组的实现奠定了基础。     

Technical note: Finite-time regret analysis of Kiefer-Wolfowitz stochastic approximation algorithm and nonparametric multi-product dynamic pricing with unknown demand

We consider the problem of nonparametric multi-product dynamic pricing with unknown demand and show that the problem may be formulated as an online model-free stochastic program, which can be solved by the classical Kiefer-Wolfowitz stochastic approximation (KWSA) algorithm. We prove that the expected cumulative regret of the KWSA algorithm is bounded above by where κ₁, κ₂ are positive constants and T is the number of periods for any T = 1, 2, … . Therefore, the regret of the KWSA algorithm grows in the order of , which achieves the lower bounds known for parametric dynamic pricing problems and shows that the nonparametric problems are not necessarily more difficult to solve than the parametric ones. Numerical experiments further demonstrate the effectiveness and efficiency of our proposed KW pricing policy by comparing with some pricing policies in the literature.     

基于云模型的航空装备维修保障能力评估

针对航空装备维修保障能力评估问题,在把握航空装备维修特点和系统分析影响因素的基础上,构建了以信息化优势为主导的航空装备维修保障能力评估指标体系;提出一种基于AHP的改进熵值法确定各级指标权重,有效融合了主客观信息;引入云模型原理,将不确定性因素转化为定量化数字特征,开展基于云模型的航空装备维修保障能力评估。实例表明,该评估方法能够科学、准确地评估航空装备维修保障能力,具有可行性和有效性。     

抛物线用作雷达阵地地面有效反射区曲线

讨论了传统的米波雷达地面有效反射区和粗糙地面的选择条件,提出采用抛物线作为地面反射区曲线,并给出曲线公式,各反射点的反射波在主要方向同相叠加增加了探测距离,进一步挖掘了米波雷达的威力潜力;合理选择反射区曲线的长度,可减少近地物反射的杂波,提高低空目标的探测能力。     

LFM脉冲雷达距离维快速搜索处理算法

针对脉冲雷达近距离目标遮挡问题,从理论上分析了雷达最小作用距离不受限于脉冲宽度.在此基础上,以Chirp脉冲为例,提出了一种适合远近距离全程目标的快速搜索处理算法.该算法只需发射一种宽脉冲波形,而不必根据距离的变化改变脉宽,从而有效缩短了搜索时间,大大提高了搜索效率.仿真结果表明了理论分析的正确性和算法的有效性.     

一类三角结构非线性系统状态参考反演变结构控制

针对一类三角结构非匹配不确定性非线性系统,结合参考状态、反演设计和变结构控制方法,研究了其在非匹配不确定性和未知干扰下的跟踪控制问题,提出了状态参考反演变结构控制策略,设计的状态参考反演变结构控制器实现鲁棒输出跟踪,闭环系统在有限时间进入滑动模态.仿真算例证实了理论研究成果的正确性和可行性.     

基于模糊二叉树支持向量机的空袭目标属性识别

针对现有空袭目标属性识别方法存在的不足,提出了一种基于模糊二叉树支持向量机的空袭目标属性识别技术。该方法充分发挥了模糊二叉树支持向量机解决二类分类问题的优势,有效地提高了识别率和识别速度。最后给出了与现有识别方法的比较结果,证明了该方法的有效性。     

卫星活动部件的干扰辨识与抑制

采用干扰辨识的方法实现带活动部件三轴稳定卫星的高精度姿态控制问题.首先以扫描镜为例进行,分析扫描镜运动对卫星产生的等效干扰力矩;然后根据卫星控制系统的稳态输出数据,采用特征系统实现算法对扫描运动产生的干扰频率进行闭环辨识;最后在所辨识干扰频率的基础上,采用偶极子干扰抑制滤波器消除扫描镜运动干扰对卫星姿态的影响.仿真结果表明,所提出的方法能有效地克服活动部件运动产生的未知干扰对卫星姿态稳定度的影响,提高在轨运行卫星的姿态控制精度.